1. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
2. Christianity in late antiquity, 300-450 C.E.
پدیدآورنده : Bart D. Ehrman, Andrew S. Jacobs
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Christian literature, Early
رده :
BR
,
63
,.
C47
,
2004
3. Introduction to Coalgebra
پدیدآورنده : \ Bart Jacobs
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Associative algebras,Universal enveloping algebras.
رده :
E-Book
,
4. Technology In Transition: A. D. 300- 650
پدیدآورنده : / Edited By Luke Lavan, Enrico Zanini And Alexander Sarantis : With The Assistance of The ine Jacobs, Dirk Booms, Bart De Graeve
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : Technology -- Mediterranean Region -- History., Mediterranean Region -- Antiquities, Mediterranean Region -- History,تکنولوژی -- مدیترانه، نواحی -- تاریخ
رده :
T16
.
T43
